x ... ix+3<0